Des Propagateurs Indépendants Des Solveurs *
نویسندگان
چکیده
Cet article présente une extension des indexicals pour décrire des propagateurs de contraintes globales. Ce nouveau langage produit par compilation des propagateurs pour différents solveurs et est indépendant d’un solveur particulier. De plus, nous montrons que cette description de haut niveau aide à prouver certaines propriétés telles que correction et monotonie. Des résultats expérimentaux montrent que les propagateurs compilés à partir de descriptions par indexicals sont parfois presque aussi rapides que des propagateurs natifs de Gecode. Cela montre que notre langage peut être utilisé pour prototyper facilement de nouvelles contraintes globales.
منابع مشابه
Consistance duale et réseaux non-binaires
La Consistance Duale (DC) a été introduite par Lecoutre, Cardon et Vion dans [10, 11]. Il s’agit d’une nouvelle manière de gérer la Consistance de Chemin (PC), à la définition plus simple et permettant d’introduire de nouvelles approximations et algorithmes particulièrement efficaces en pratique. Un des points intéressants de cette définition est la possibilité de généraliser PC aux réseaux de ...
متن کاملRecherche coopérative et Nogood Recording
RÉSUMÉ. Dans le cadre du problème de satisfaction de contraintes, nous proposons un nouveau schéma de recherche parallèle coopérative. La coopération est réalisée en échangeant des nogoods (instanciations qui ne peuvent être étendues en une solution). Nous associons un processus à chaque solveur et nous introduisons un gestionnaire de nogoods, afin de réguler les échanges de nogoods. Chaque sol...
متن کاملAcquisition des contraintes ouvertes par apprentissage de solveurs
Résumé : Nous présentons une technique d’apprentissage d’un objet très particulier qui est un solveur de contraintes. Étant donné un sous-ensemble de solutions et un autre sous-ensemble de non-solutions pour une contrainte, nous cherchons une représentation de la contrainte entière sous la forme d’un solveur. Un solveur permet de distinguer les solutions des non-solutions, et ainsi il effectue ...
متن کاملMatrice de dépendances enrichie
Résumé. Les matrices de dépendance (DSM Dependency Structure Matrix), développées dans le cadre de l’optimisation de processus, ont fait leurs preuves pour identifier les dépendances logicielles entre des packages ou des sous-systèmes. Il existe plusieurs algorithmes pour structurer une matrice de façon à ce qu’elle reflète l’architecture des éléments analysés et mette en évidence des cycles en...
متن کاملLIBOPT - An environment for testing solvers on heterogeneous collections of problems - Version 1.0
The Libopt environment is both a methodology and a set of tools that can be used for testing, comparing, and profiling solvers on problems belonging to various collections. These collections can be heterogeneous in the sense that their problems can have common features that differ from one collection to the other. Libopt brings a unified view on this composite world by offering, for example, th...
متن کامل